Improving the approximation of the probability density function of random nonautonomous logistic‐type differential equations

In this paper, we address the problem of approximating the probability density function of the following random logistic differential equation: P^′(t,ω)=A(t,ω)(1?P(t,ω))P(t,ω), t∈[t₀,T], P(t₀,ω)=P₀(ω), where ω is any outcome in the sample space Ω. In the recent contribution [Cortés, JC, et al. Commun Nonlinear Sci Numer Simulat 2019; 72: 121–138], the authors imposed conditions on the diffusion coefficient A(t) and on the initial condition P₀ to approximate the density function f₁(p,t) of P(t): A(t) is expressed as a Karhunen–Loève expansion with absolutely continuous random coefficients that have certain growth and are independent of the absolutely continuous random variable P₀, and the density of P₀, , is Lipschitz on (0,1). In this article, we tackle the problem in a different manner, by using probability tools that allow the hypotheses to be less restrictive. We only suppose that A(t) is expanded on L²([t₀,T]×Ω), so that we include other expansions such as random power series. We only require absolute continuity for P₀, so that A(t) may be discrete or singular, due to a modified version of the random variable transformation technique. For , only almost everywhere continuity and boundedness on (0,1) are needed. We construct an approximating sequence of density functions in terms of expectations that tends to f₁(p,t) pointwise. Numerical examples illustrate our theoretical results.     

Existential monadic second order logic of undirected graphs: The Le Bars conjecture is false

In 2001, J.-M. Le Bars disproved the zero-one law (that says that every sentence from a certain logic is either true asymptotically almost surely (a.a.s.), or false a.a.s.) for existential monadic second order sentences (EMSO) on undirected graphs. He proved that there exists an EMSO sentence ? such that $\mathsf{P}(G_n??)$ does not converge as $n\to \infty$ (here, the probability distribution is uniform over the set of all graphs on the labeled set of vertices $\{1,\dots ,n\}$). In the same paper, he conjectured that, for EMSO sentences with 2 first order variables, the zero-one law holds. In this paper, we disprove this conjecture.     

Non‐self‐adjoint singular second‐order dynamic operators on time scale

In this study, maximal dissipative second‐order dynamic operators on semi‐infinite time scale are studied in the Hilbert space , that the extensions of a minimal symmetric operator in limit‐point case. We construct a self‐adjoint dilation of the dissipative operator together with its incoming and outgoing spectral representations so that we can determine the scattering function of the dilation as stated in the scheme of Lax‐Phillips. Moreover, we construct a functional model of the dissipative operator and identify its characteristic function in terms of the Weyl‐Titchmarsh function of a self‐adjoint second‐order dynamic operator. Finally, we prove the theorems on completeness of the system of root functions of the dissipative and accumulative dynamic operators.     

Solvability of a nonlinear fifth‐order difference equation

Some formulas for well‐defined solutions to four very special cases of a nonlinear fifth‐order difference equation have been presented recently in this journal, where some of them were proved by the method of induction, some are only quoted, and no any theory behind the formulas was given. Here, we show in an elegant constructive way how the general solution to the difference equation can be obtained, from which the special cases very easily follow, which is also demonstrated here. We also give some comments on the local stability results on the special cases of the nonlinear fifth‐order difference equation previously publish in this journal.     

On concentration of solution to a Schrödinger logarithmic equation with deepening potential well

In this work, we prove the existence of positive solution for the following class of problems where λ>0 and is a potential satisfying some conditions. Using the variational method developed by Szulkin for functionals, which are the sum of a C¹ functional with a convex lower semicontinuous functional, we prove that for each large enough λ>0, there exists a positive solution for the problem, and that, as λ→+∞, such solutions converge to a positive solution of the limit problem defined on the domain Ω=int(V^?1({0})).     

Asymptotic expansion for vector-valued sequences of random variables with focus on Wiener chaos

We develop the asymptotic expansion theory for vector-valued sequences ${\left(F_N\right)}_{N\ge 1}$ of random variables in terms of the convergence of the Stein–Malliavin matrix associated with the sequence $F_N$. Our approach combines the classical Fourier approach and the recent Stein–Malliavin theory. We find the second order term of the asymptotic expansion of the density of $F_N$ and we illustrate our results by several examples.     

A mixed hp FEM for the approximation of fourth‐order singularly perturbed problems on smooth domains

We consider fourth‐order singularly perturbed problems posed on smooth domains and the approximation of their solution by a mixed Finite Element Method on the so‐called Spectral Boundary Layer Mesh. We show that the method converges uniformly, with respect to the singular perturbation parameter, at an exponential rate when the error is measured in the energy norm. Numerical examples illustrate our theoretical findings.